41. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده : M. Main...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
42. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
43. Mathematical methods in computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : ; Computer science ; Mathematics. ; Quantum computers. ; Cryptography. ; Coding theory. ; -Beth, Thomas, ; 1949
44. Mathematical methods in computer science. essays in memory of Thomas Beth
پدیدآورنده : Jacques Calmet, Willi Geiselmann, Jorn Muller-Quade, )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Computer science- Mathematics,، Quantum computers,، Cryptography,، Coding theory,، Beth, Thomas, 9491-
رده :
QA
76
.
9
.
M35
M384
2008
45. Mathematics and computing :
پدیدآورنده : Debdas Ghosh, Debasis Giri, Ram N. Mohapatra, Ekrem Savas, Kouichi Sakurai, L.P. Singh (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer science-- Mathematics.,Computer security.,Computers-- Data Processing.,Computers-- Security-- General.,Mathematical theory of computation.
رده :
QA76
.
9
.
M35
46. Mathematics for computer programmers
پدیدآورنده : Kay, Christine Benedyk
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer science- Mathematics,، Electronic digital computers- Programming
رده :
QA
76
.
9
.
M35
K38
47. Mathematics of program construction
پدیدآورنده : Ronald Back house Jose Nuno oliveria
کتابخانه: (کرمان)
موضوع : Electronic digital computers-programming-congresses,computer science-mathematics-congresses
رده :
QA
76
.
6
.
M2
2000
48. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M367
1993
49. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
L4
v
.
669
50. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
رده :
QA
76
.
6
.
M367
1992
51. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
52. Measuring the data universe :
پدیدآورنده : Reinhold Stahl, Patricia Staab.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data integration (Computer science),Algorithms & data structures.,Business mathematics & systems.,COMPUTERS-- Data Modeling & Design.,Data integration (Computer science),Data mining.,Databases.,Probability & statistics.
رده :
QA76
.
9
.
D338
S73
2018
53. Multiset processing : mathematical, computer science, and molecular computing points of view
پدیدآورنده : Cristian S. Calude...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computer science -- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
L28
Vol
.
2235
54. Multiset processing: mathematical, computer science, and molecular computing points of view
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computer science-- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
5
.
M85
2001
55. Optical signal processing, computing, and neural networks
پدیدآورنده : Francis T.S. Yu, Suganda Jutamulia
موضوع : Optical data processing,Signal processing -- Mathematics,Neural networks (Computer science),Computers, Optical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
56. Optimization Under Uncertainty with Applications to Aerospace Engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : ENGINEERING / Engineering (General) ; & Astronautics ; TECHNOLOGY & ENGINEERING / Aeronautics &COMPUTERS / Computer Science ; MATHEMATICS / Applied ; SCIENCE / Space Science / Astronomy ; TECHNOLOGY
57. Optimization techniques for solving complex problems /
پدیدآورنده : edited by Enrique Alba [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Mathematical optimization.,Problem solving.,Computer science-- Mathematics.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mathematical optimization.,Problem solving.
رده :
QA76
.
9
.
M35
O78
2009eb
58. Petri net algebra
پدیدآورنده : Best, Eike
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Parallel processing )Electronic computers(,، Computer science - Mathematics,، Petri nets
رده :
QA
76
.
58
.
B48
2001
59. Petri net algebra
پدیدآورنده : Eike Best; Raymond Devillers; Maciej Koutny
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Parallel processing (Electronic computers),Petri nets.
رده :
QA76
.
58
E354
2010
60. Petri net algebra
پدیدآورنده : Best, Eike
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer science-- Mathematics,، Petri nets
رده :
QA
76
.
58
.
B48
2001
